31![1 PDE models for population and residual work applied to peer-to-peer networks Fernando Paganini and Andr´es Ferragut Universidad ORT Uruguay 1 PDE models for population and residual work applied to peer-to-peer networks Fernando Paganini and Andr´es Ferragut Universidad ORT Uruguay](https://www.pdfsearch.io/img/e4e61eab04747784652af70de1928adb.jpg) | Add to Reading ListSource URL: fi.ort.edu.uyLanguage: English |
---|
32![Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder](https://www.pdfsearch.io/img/3214136a67d639d702e5e71520780936.jpg) | Add to Reading ListSource URL: www.dcs.bbk.ac.ukLanguage: English - Date: 2012-07-18 09:07:52
|
---|
33![Proceedings of the CADE-25 ATP System Competition CASC-25 Geo↵ Sutcli↵e University of Miami, USA Abstract
Proceedings of the CADE-25 ATP System Competition CASC-25 Geo↵ Sutcli↵e University of Miami, USA Abstract](https://www.pdfsearch.io/img/8abc6a89056655dc99e104d35e69b929.jpg) | Add to Reading ListSource URL: www.cs.miami.eduLanguage: English - Date: 2015-08-02 19:16:33
|
---|
34![A On the Power of Substitution in the Calculus of Structures Novak Novakovi´c, Inria Lutz Straßburger, Inria There are two contributions in this paper. First, we give a direct proof of the known fact that Frege system A On the Power of Substitution in the Calculus of Structures Novak Novakovi´c, Inria Lutz Straßburger, Inria There are two contributions in this paper. First, we give a direct proof of the known fact that Frege system](https://www.pdfsearch.io/img/13905f2d7d6be597e0ce1e8b1ed81806.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2015-04-07 12:31:04
|
---|
35![AAAI Proceedings Template AAAI Proceedings Template](https://www.pdfsearch.io/img/47ca779d24f83587d74ed836b3b6cf27.jpg) | Add to Reading ListSource URL: www.cogsys.orgLanguage: English - Date: 2016-06-16 21:36:39
|
---|
36![• Paper at Concur 2002 wischik.com/lu/research/ A simple, distributed implementation of the pi-calculus, using explicit fusions • Paper at Concur 2002 wischik.com/lu/research/ A simple, distributed implementation of the pi-calculus, using explicit fusions](https://www.pdfsearch.io/img/6c1285783a2e555e01c70c7daf880a5a.jpg) | Add to Reading ListSource URL: www.wischik.comLanguage: English - Date: 2002-07-22 03:56:39
|
---|
37![On Induction Principles C. Verhoef Programming Research Group University of Amsterdam KruislaanSJ Amsterdam On Induction Principles C. Verhoef Programming Research Group University of Amsterdam KruislaanSJ Amsterdam](https://www.pdfsearch.io/img/d20135e897afdcc8494c3563203022e1.jpg) | Add to Reading ListSource URL: www.cs.vu.nlLanguage: English - Date: 2005-08-09 06:28:59
|
---|
38![Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract](https://www.pdfsearch.io/img/461091f04df50720b294bf12499af0e0.jpg) | Add to Reading ListSource URL: fm.csl.sri.comLanguage: English - Date: 2010-11-02 19:53:10
|
---|
39![DRAFT – TO APPEAR AT ICFPFully Abstract Compilation via Universal Embedding ∗ Max S. New William J. Bowman DRAFT – TO APPEAR AT ICFPFully Abstract Compilation via Universal Embedding ∗ Max S. New William J. Bowman](https://www.pdfsearch.io/img/197acd435df57492b48e067c1de4eabe.jpg) | Add to Reading ListSource URL: www.williamjbowman.comLanguage: English - Date: 2016-08-20 09:03:03
|
---|
40![Abstracting Abstract Machines David Van Horn ∗ Matthew Might Northeastern University Abstracting Abstract Machines David Van Horn ∗ Matthew Might Northeastern University](https://www.pdfsearch.io/img/b278a8b9b34673b82a9de69973d18807.jpg) | Add to Reading ListSource URL: www.ccs.neu.eduLanguage: English - Date: 2010-07-26 15:43:30
|
---|